#include<bits/stdc++.h>
using namespace std;
int main() {
    int price, sale;
    cin >> price >> sale;
    printf("%.2lf\n", price * 1.0 * (1.0 * sale) / 10);
    return 0;
}